[next] [prev] [prev-tail] [tail] [up]

Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

18 18 851 18 117 20 17 20 20

N.S.

1 1.00 47.28 1.00 6.50 1.11 0.94 1.11 1.11

time (sec)

N/A 0.223 2.195 0.040 0.958 0.291 4.762 0.348 1.392

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

107 107 96 547 0 68 0 69 0

N.S.

1 1.00 0.90 5.11 0.00 0.64 0.00 0.64 0.00

time (sec)

N/A 0.100 0.093 0.878 0.000 0.290 0.000 0.289 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

51 51 51 272 0 29 0 31 0

N.S.

1 1.00 1.00 5.33 0.00 0.57 0.00 0.61 0.00

time (sec)

N/A 0.035 0.042 1.951 0.000 0.315 0.000 0.307 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 15 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.83 1.11 1.11

time (sec)

N/A 0.011 0.131 0.017 0.234 0.333 1.873 0.373 1.301

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 17 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.94 1.11 1.11

time (sec)

N/A 0.012 0.246 0.018 0.241 0.295 4.348 0.282 1.318

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 15 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.83 1.11 1.11

time (sec)

N/A 0.012 0.211 0.039 0.238 0.294 1.569 0.360 1.400

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 16 16 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.14 1.00 1.14 1.14

time (sec)

N/A 0.003 0.009 0.032 0.227 0.315 1.119 0.289 1.313

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 17 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.94 1.11 1.11

time (sec)

N/A 0.012 0.268 0.028 0.243 0.283 3.217 0.307 1.276

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

138 138 157 1487 0 141 0 313 0

N.S.

1 1.00 1.14 10.78 0.00 1.02 0.00 2.27 0.00

time (sec)

N/A 0.132 0.075 0.846 0.000 0.314 0.000 0.296 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

83 83 97 421 0 78 0 141 0

N.S.

1 1.00 1.17 5.07 0.00 0.94 0.00 1.70 0.00

time (sec)

N/A 0.048 0.034 1.772 0.000 0.321 0.000 0.303 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 69 20 17 20 20

N.S.

1 1.00 1.11 1.00 3.83 1.11 0.94 1.11 1.11

time (sec)

N/A 0.011 0.149 0.016 0.254 0.299 3.113 0.331 1.317

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 78 20 19 20 20

N.S.

1 1.00 1.11 1.00 4.33 1.11 1.06 1.11 1.11

time (sec)

N/A 0.011 0.825 0.017 0.238 0.321 5.814 0.310 1.353

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 66 20 17 20 20

N.S.

1 1.00 1.11 1.00 3.67 1.11 0.94 1.11 1.11

time (sec)

N/A 0.011 0.229 0.004 0.239 0.322 2.080 0.306 1.328

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 73 16 15 16 16

N.S.

1 1.00 1.14 1.00 5.21 1.14 1.07 1.14 1.14

time (sec)

N/A 0.003 0.177 0.006 0.233 0.334 1.890 0.320 1.299

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 79 20 19 20 20

N.S.

1 1.00 1.11 1.00 4.39 1.11 1.06 1.11 1.11

time (sec)

N/A 0.011 0.683 0.005 0.236 0.347 4.333 0.298 1.356

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

204 204 185 1969 0 270 0 874 0

N.S.

1 1.00 0.91 9.65 0.00 1.32 0.00 4.28 0.00

time (sec)

N/A 0.182 0.101 0.899 0.000 0.342 0.000 0.378 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

114 114 113 716 0 157 0 406 0

N.S.

1 1.00 0.99 6.28 0.00 1.38 0.00 3.56 0.00

time (sec)

N/A 0.060 0.037 1.954 0.000 0.329 0.000 0.340 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 161 20 17 20 20

N.S.

1 1.00 1.11 1.00 8.94 1.11 0.94 1.11 1.11

time (sec)

N/A 0.011 0.244 0.017 0.236 0.337 4.278 0.306 1.269

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 184 20 19 20 20

N.S.

1 1.00 1.11 1.00 10.22 1.11 1.06 1.11 1.11

time (sec)

N/A 0.011 1.924 0.032 0.233 0.314 7.812 0.309 1.306

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 180 20 17 20 20

N.S.

1 1.00 1.11 1.00 10.00 1.11 0.94 1.11 1.11

time (sec)

N/A 0.011 0.332 0.003 0.244 0.353 3.172 0.302 1.280

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 164 16 15 16 16

N.S.

1 1.00 1.14 1.00 11.71 1.14 1.07 1.14 1.14

time (sec)

N/A 0.003 0.232 0.021 0.233 0.298 2.667 0.302 1.216

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 187 20 19 20 20

N.S.

1 1.00 1.11 1.00 10.39 1.11 1.06 1.11 1.11

time (sec)

N/A 0.011 1.274 0.003 0.240 0.291 5.814 0.300 1.238

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F A F A F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

45 45 0 43 0 54 0 44 0

N.S.

1 1.00 0.00 0.96 0.00 1.20 0.00 0.98 0.00

time (sec)

N/A 0.064 0.000 1.716 0.000 0.338 0.000 0.304 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 23 0 19 27 20 18

N.S.

1 1.00 1.00 1.15 0.00 0.95 1.35 1.00 0.90

time (sec)

N/A 0.018 0.011 0.405 0.000 0.273 0.696 0.298 1.349

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F A F A F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

71 71 0 74 0 99 0 100 0

N.S.

1 1.00 0.00 1.04 0.00 1.39 0.00 1.41 0.00

time (sec)

N/A 0.095 0.000 2.012 0.000 0.278 0.000 0.302 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 43 48 0 55 49 47 46

N.S.

1 1.00 0.91 1.02 0.00 1.17 1.04 1.00 0.98

time (sec)

N/A 0.029 0.017 0.395 0.000 0.301 0.717 0.360 1.390

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F A F A F A F(-1)

verified

N/A Yes N/A Yes TBD TBD TBD TBD TBD

size

127 127 0 105 0 142 0 151 0

N.S.

1 1.00 0.00 0.83 0.00 1.12 0.00 1.19 0.00

time (sec)

N/A 0.115 0.000 2.056 0.000 0.270 0.000 0.306 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 55 70 0 79 70 71 74

N.S.

1 1.00 0.75 0.96 0.00 1.08 0.96 0.97 1.01

time (sec)

N/A 0.041 0.018 0.362 0.000 0.280 0.728 0.331 1.476

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 105 151 120 148 136 216 100

N.S.

1 1.00 0.70 1.01 0.80 0.99 0.91 1.44 0.67

time (sec)

N/A 0.106 0.045 4.786 0.222 0.311 3.666 0.308 1.285

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 63 101 97 96 100 96 71

N.S.

1 1.00 0.95 1.53 1.47 1.45 1.52 1.45 1.08

time (sec)

N/A 0.039 0.008 1.050 0.198 0.341 0.995 0.293 1.291

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 77 2965 0 0 0 0 0 0

N.S.

1 1.00 38.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.084 0.836 0.000 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

86 86 99 411 118 0 0 0 0

N.S.

1 1.00 1.15 4.78 1.37 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 0.022 0.817 0.194 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

1294 1300 1041 1957 0 0 0 0 0

N.S.

1 1.00 0.80 1.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.293 0.519 0.832 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1304 1310 1101 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.227 0.494 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

1137 1143 972 1787 0 0 0 0 0

N.S.

1 1.01 0.85 1.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.901 0.345 0.643 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

1170 1176 766 1787 0 0 0 0 0

N.S.

1 1.01 0.65 1.53 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.924 0.639 0.766 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-2) F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

1328 1334 912 1954 0 0 0 0 0

N.S.

1 1.00 0.69 1.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.166 1.014 1.174 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

164 164 146 823 0 116 0 108 0

N.S.

1 1.00 0.89 5.02 0.00 0.71 0.00 0.66 0.00

time (sec)

N/A 0.159 0.148 1.033 0.000 0.270 0.000 0.307 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

107 107 96 547 0 68 0 69 0

N.S.

1 1.00 0.90 5.11 0.00 0.64 0.00 0.64 0.00

time (sec)

N/A 0.101 0.075 0.889 0.000 0.273 0.000 0.305 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

51 51 51 272 0 29 0 31 0

N.S.

1 1.00 1.00 5.33 0.00 0.57 0.00 0.61 0.00

time (sec)

N/A 0.042 0.038 1.790 0.000 0.306 0.000 0.322 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 15 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.83 1.11 1.11

time (sec)

N/A 0.011 0.125 0.020 0.257 0.281 9.113 0.307 1.205

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 17 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.94 1.11 1.11

time (sec)

N/A 0.011 0.225 0.022 0.265 0.316 32.744 0.305 1.218

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 15 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.83 1.11 1.11

time (sec)

N/A 0.012 0.172 0.042 0.258 0.317 10.184 0.304 1.189

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 18 18 14 18 18

N.S.

1 1.00 1.12 1.00 1.12 1.12 0.88 1.12 1.12

time (sec)

N/A 0.007 0.157 0.032 0.259 0.286 4.801 0.403 1.207

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 16 16 14 16 16

N.S.

1 1.00 1.14 1.00 1.14 1.14 1.00 1.14 1.14

time (sec)

N/A 0.003 0.010 0.033 0.255 0.296 4.788 0.299 1.173

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 17 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.94 1.11 1.11

time (sec)

N/A 0.011 0.238 0.030 0.259 0.296 18.027 0.299 1.203

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 20 20 17 20 20

N.S.

1 1.00 1.11 1.00 1.11 1.11 0.94 1.11 1.11

time (sec)

N/A 0.011 0.256 0.031 0.263 0.331 24.277 0.286 1.245

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

195 195 290 2564 0 211 0 487 0

N.S.

1 1.00 1.49 13.15 0.00 1.08 0.00 2.50 0.00

time (sec)

N/A 0.248 0.120 1.135 0.000 0.339 0.000 0.330 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F B F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

141 141 157 1487 0 141 0 313 0

N.S.

1 1.00 1.11 10.55 0.00 1.00 0.00 2.22 0.00

time (sec)

N/A 0.137 0.076 0.957 0.000 0.304 0.000 0.313 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

83 83 97 421 0 78 0 141 0

N.S.

1 1.00 1.17 5.07 0.00 0.94 0.00 1.70 0.00

time (sec)

N/A 0.065 0.030 1.841 0.000 0.293 0.000 0.315 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 69 20 17 20 20

N.S.

1 1.00 1.11 1.00 3.83 1.11 0.94 1.11 1.11

time (sec)

N/A 0.016 0.140 0.017 0.265 0.290 16.374 0.289 1.330

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 78 20 19 20 20

N.S.

1 1.00 1.11 1.00 4.33 1.11 1.06 1.11 1.11

time (sec)

N/A 0.015 0.807 0.016 0.276 0.338 39.464 0.297 1.305

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 66 20 17 20 20

N.S.

1 1.00 1.11 1.00 3.67 1.11 0.94 1.11 1.11

time (sec)

N/A 0.012 0.207 0.003 0.263 0.311 15.323 0.278 1.240

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 74 18 15 18 18

N.S.

1 1.00 1.12 1.00 4.62 1.12 0.94 1.12 1.12

time (sec)

N/A 0.007 0.284 0.003 0.256 0.335 9.074 0.351 1.222

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 77 16 15 16 16

N.S.

1 1.00 1.14 1.00 5.50 1.14 1.07 1.14 1.14

time (sec)

N/A 0.003 0.173 0.004 0.274 0.290 9.046 0.293 1.184

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 79 20 19 20 20

N.S.

1 1.00 1.11 1.00 4.39 1.11 1.06 1.11 1.11

time (sec)

N/A 0.011 0.706 0.003 0.268 0.307 22.473 0.297 1.228

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 80 20 19 20 20

N.S.

1 1.00 1.11 1.00 4.44 1.11 1.06 1.11 1.11

time (sec)

N/A 0.011 0.668 0.006 0.268 0.277 30.190 0.279 1.230

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

20 20 994 20 171 22 19 22 22

N.S.

1 1.00 49.70 1.00 8.55 1.10 0.95 1.10 1.10

time (sec)

N/A 0.071 1.822 0.043 0.411 0.295 82.577 0.365 1.259

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

20 20 466 20 126 22 19 22 22

N.S.

1 1.00 23.30 1.00 6.30 1.10 0.95 1.10 1.10

time (sec)

N/A 0.055 0.528 0.040 0.387 0.342 46.406 0.335 1.185

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 70 0 0 0 377 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 4.65 0.00 0.00

time (sec)

N/A 0.028 0.015 0.000 0.000 0.000 28.947 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 22 17 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.10 0.85 1.10 1.10

time (sec)

N/A 0.011 0.394 0.033 0.266 0.331 12.991 0.311 1.188

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 97 22 19 22 22

N.S.

1 1.00 1.10 1.00 4.85 1.10 0.95 1.10 1.10

time (sec)

N/A 0.012 0.915 0.007 0.293 0.339 29.330 0.298 1.245

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

372 372 171 0 239 266 0 0 0

N.S.

1 1.00 0.46 0.00 0.64 0.72 0.00 0.00 0.00

time (sec)

N/A 0.219 0.172 0.000 0.206 0.363 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

255 255 140 0 200 204 0 0 0

N.S.

1 1.00 0.55 0.00 0.78 0.80 0.00 0.00 0.00

time (sec)

N/A 0.140 0.144 0.000 0.218 0.328 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 101 74 0 146 121 0 0 0

N.S.

1 1.00 0.73 0.00 1.45 1.20 0.00 0.00 0.00

time (sec)

N/A 0.057 0.020 0.000 0.215 0.342 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

88 88 168 614 0 0 0 0 0

N.S.

1 1.00 1.91 6.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.079 0.100 2.296 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

124 124 150 0 0 197 0 0 0

N.S.

1 1.00 1.21 0.00 0.00 1.59 0.00 0.00 0.00

time (sec)

N/A 0.077 0.066 0.000 0.000 0.365 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

200 200 288 0 0 279 0 0 0

N.S.

1 1.00 1.44 0.00 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.183 0.248 0.000 0.000 0.329 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 14 0 12 14 0 0

N.S.

1 1.00 1.00 1.08 0.00 0.92 1.08 0.00 0.00

time (sec)

N/A 0.006 0.006 0.846 0.000 0.295 1.464 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 40 0 40 100 0 0

N.S.

1 1.00 1.00 1.90 0.00 1.90 4.76 0.00 0.00

time (sec)

N/A 0.019 0.003 0.845 0.000 0.328 1.651 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F B C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 41 0 41 100 0 0

N.S.

1 1.00 1.00 1.95 0.00 1.95 4.76 0.00 0.00

time (sec)

N/A 0.021 0.004 0.876 0.000 0.316 1.633 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 39 38 0 54 0 0 0

N.S.

1 1.00 0.95 0.93 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.027 0.009 1.247 0.000 0.318 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

44 44 43 170 0 60 0 0 0

N.S.

1 1.00 0.98 3.86 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.027 0.004 0.320 0.000 0.337 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

79 79 164 578 0 0 0 0 0

N.S.

1 1.00 2.08 7.32 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.068 0.036 2.293 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

113 113 270 1409 0 0 0 0 0

N.S.

1 1.00 2.39 12.47 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.096 0.105 2.991 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 185 284 214 269 335 573 208

N.S.

1 1.00 1.32 2.03 1.53 1.92 2.39 4.09 1.49

time (sec)

N/A 0.054 0.135 1.364 0.192 0.338 0.932 0.309 1.309

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 121 184 136 172 202 316 131

N.S.

1 1.00 1.08 1.64 1.21 1.54 1.80 2.82 1.17

time (sec)

N/A 0.037 0.073 0.940 0.193 0.308 0.574 0.297 1.309

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 78 77 74 91 105 136 68

N.S.

1 1.00 0.93 0.92 0.88 1.08 1.25 1.62 0.81

time (sec)

N/A 0.023 0.032 0.368 0.191 0.344 0.363 0.311 1.254

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 32 35 32 36 39 29

N.S.

1 1.00 1.00 1.33 1.46 1.33 1.50 1.62 1.21

time (sec)

N/A 0.007 0.005 0.319 0.187 0.334 0.140 0.299 0.076

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 57 98 118 0 0 0 0

N.S.

1 1.00 0.98 1.69 2.03 0.00 0.00 0.00 0.00

time (sec)

N/A 0.034 0.004 1.684 0.198 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 62 66 65 80 236 81 70

N.S.

1 1.00 0.91 0.97 0.96 1.18 3.47 1.19 1.03

time (sec)

N/A 0.020 0.032 1.003 0.211 0.323 1.474 0.305 2.208

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 80 88 120 236 1518 185 96

N.S.

1 1.00 0.76 0.84 1.14 2.25 14.46 1.76 0.91

time (sec)

N/A 0.041 0.051 1.230 0.191 0.324 5.246 0.306 1.645

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 105 111 232 443 4571 365 145

N.S.

1 1.00 0.79 0.83 1.74 3.33 34.37 2.74 1.09

time (sec)

N/A 0.054 0.075 1.781 0.212 0.389 17.519 0.321 1.858

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 178 249 244 177 498 527 218 222

N.S.

1 1.00 1.40 1.37 0.99 2.80 2.96 1.22 1.25

time (sec)

N/A 0.110 0.507 1.787 0.296 0.368 17.796 0.331 1.438

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 211 187 131 320 374 152 263

N.S.

1 1.00 1.50 1.33 0.93 2.27 2.65 1.08 1.87

time (sec)

N/A 0.085 0.312 1.217 0.286 0.357 8.663 0.443 4.450

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 83 78 80 198 199 85 81

N.S.

1 1.00 0.84 0.79 0.81 2.00 2.01 0.86 0.82

time (sec)

N/A 0.053 0.020 0.485 0.286 0.337 4.322 0.327 2.196

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 45 46 45 107 100 41 37

N.S.

1 1.00 1.00 1.02 1.00 2.38 2.22 0.91 0.82

time (sec)

N/A 0.016 0.006 0.093 0.279 0.307 2.086 0.309 1.302

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 201 196 0 0 0 0 0

N.S.

1 1.00 1.00 0.98 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.187 0.058 1.187 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 137 99 108 261 0 121 337

N.S.

1 1.00 1.15 0.83 0.91 2.19 0.00 1.02 2.83

time (sec)

N/A 0.065 0.046 1.289 0.370 0.300 0.000 0.334 2.307

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

174 174 217 147 206 744 0 278 272

N.S.

1 1.00 1.25 0.84 1.18 4.28 0.00 1.60 1.56

time (sec)

N/A 0.099 0.358 2.019 0.338 0.358 0.000 0.296 2.044

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 320 286 398 332 8840 265 381 536

N.S.

1 1.00 0.89 1.24 1.04 27.62 0.83 1.19 1.68

time (sec)

N/A 0.491 0.321 2.322 0.353 9.178 23.691 0.339 2.048

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 250 231 336 249 5799 173 274 358

N.S.

1 1.00 0.92 1.34 1.00 23.20 0.69 1.10 1.43

time (sec)

N/A 0.304 0.190 1.522 0.350 2.323 15.874 0.369 1.421

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 204 247 187 2284 112 212 210

N.S.

1 1.00 0.89 1.08 0.82 9.97 0.49 0.93 0.92

time (sec)

N/A 0.211 0.046 0.707 0.340 1.132 10.937 0.342 1.314

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 129 122 125 110 165 143 134

N.S.

1 1.00 0.97 0.92 0.94 0.83 1.24 1.08 1.01

time (sec)

N/A 0.056 0.018 0.126 0.372 0.344 24.713 0.309 0.450

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 308 313 101 0 0 0 0 0

N.S.

1 1.00 1.02 0.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.305 0.104 1.302 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 292 254 277 311 7010 0 363 736

N.S.

1 1.00 0.87 0.95 1.07 24.01 0.00 1.24 2.52

time (sec)

N/A 0.359 0.214 1.734 0.316 1.247 0.000 0.363 1.559

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A C F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

391 391 325 347 517 13236 0 660 2227

N.S.

1 1.00 0.83 0.89 1.32 33.85 0.00 1.69 5.70

time (sec)

N/A 0.436 0.392 2.622 0.318 9.421 0.000 0.465 1.920

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 114 244 166 239 355 847 184

N.S.

1 1.00 0.82 1.76 1.19 1.72 2.55 6.09 1.32

time (sec)

N/A 0.082 0.099 1.042 0.222 0.302 1.656 0.328 1.431

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 86 168 102 153 216 490 111

N.S.

1 1.00 0.84 1.65 1.00 1.50 2.12 4.80 1.09

time (sec)

N/A 0.060 0.053 0.775 0.218 0.322 0.947 0.319 1.305

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 85 65 55 80 112 233 57

N.S.

1 1.00 1.09 0.83 0.71 1.03 1.44 2.99 0.73

time (sec)

N/A 0.039 0.020 0.154 0.207 0.333 0.542 0.454 1.331

[next] [prev] [prev-tail] [front] [up]